Type Class Directives
نویسندگان
چکیده
The goal of this paper is to improve the type error messages in the presence of Haskell 98 type classes, in particular for the nonexpert user. As a language feature, type classes are very pervasive, and strongly influence what is reported and when, even in relatively simple programs. We propose four type class directives, and specialized type rules, to lend high-level support to compilers to improve the type error messages. Both have been implemented, and can be used to easily modify the behavior of the type inference process.
منابع مشابه
A first attempt at type class directives
Building on earlier work on type inference directives for scripting a compiler to improve type error messages, we present extensions to those directives to deal with type classes. Our work is mainly motivated by the need for better type error messages, especially for domain specific languages. Type inference directives can bridge the gap between embedded domain specific languages and Haskell by...
متن کاملبررسی عملکرد هیات امنای دانشگاه های علوم پزشکی دولتی ایران در پنج دوره زمانی طی سال های 1370 تا 1395
Background and purpose: Hierarchical decision-making bodies in universities include the board of trustees, the head of university, the board of directors, and the university council. The aim of this research was to determine the function of the board of trustees of state medical sciences universities in Iran during five different periods; 1991 to 2016. Materials and methods: In this descriptiv...
متن کاملDirectives for Composing Aspect-Oriented Design Class Models
An aspect-oriented design model consists of a set of aspect models and a primary model. Each aspect model describes a feature that crosscuts elements in the primary model. Aspect and primary models are composed to obtain an integrated design view. In this paper we describe a composition approach that utilizes a composition algorithm and composition directives. Composition directives are used wh...
متن کاملModel Composition Directives
An aspect-oriented design model consists of a set of aspect models and a primary model. Each of these models consists of a number of different kinds of UML diagrams. The models must be composed to identify conflicts and analyze the system as a whole. We have developed a systematic approach for composing class diagrams in which a default composition procedure based on name matching can be custom...
متن کامل2 Architecture User Interface Behavior Model Execution Directives Generation Directives Compiler Analyzers Edit / Browser Execution Trace
Test Suite Test Suite Trace The first three interfaces are for the users’ primary access to the tools. The latter three are more for internal use by the tools, but the abstract test suite may also be directly used by a user to script a particular test case. 3.1 Behavioural Modeling Language The behavioural model describes the behaviour of the system under test. It is implemented as a UML profil...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005